inference of string grammar

[计] 串文法推理